proc assert {should was output} {
}